<?php

function secho($text) {
	echo htmlspecialchars($text);
	}
?>